Rolle’s Theorem Is Either False or Trivial in Infinite-dimensional Banach Spaces
نویسنده
چکیده
We prove the following new characterization of C (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space X has a C smooth (Lipschitz) bump function if and only if it has another C smooth (Lipschitz) bump function f such that f ′(x) 6= 0 for every point x in the interior of the support of f (that is, f does not satisfy Rolle’s theorem). Moreover, the support of this bump can be assumed to be a smooth starlike body. As a by-product of the proof of this result we also obtain other useful characterizations of C smoothness related to the existence of a certain kind of deleting diffeomorphisms, as well as to the failure of Brouwer’s fixed point theorem even for smooth self-mappings of starlike bodies in all infinite-dimensional spaces. Finally, we study the structure of the set of gradients of bump functions in the Hilbert space l2, and as a consequence of the failure of Rolle’s theorem in infinite dimensions we get the following result. The usual norm of the Hilbert space l2 can be uniformly approximated by C smooth Lipschiz functions ψ so that the cones generated by the sets of derivatives ψ′(l2) have empty interior. This implies that there are C 1 smooth Lipschitz bumps in l2 so that the cones generated by their sets of gradients have empty interior.
منابع مشابه
The Failure of Rolle’s Theorem in Infinite-dimensional Banach Spaces
We prove the following new characterization of C (Lipschitz) smoothness in Banach spaces. An infinite-dimensional Banach space X has a C smooth (Lipschitz) bump function if and only if it has another C smooth (Lipschitz) bump function f such that its derivative does not vanish at any point in the interior of the support of f (that is, f does not satisfy Rolle’s theorem). Moreover, the support o...
متن کاملA Dvoretsky Theorem for Polynomials
We lift upper and lower estimates from linear functionals to n-homogeneous polynomials and using this result show that l ∞ is finitely represented in the space of n-homogeneous poly-nomials, n ≥ 2, for any infinite dimensional Banach space. Refinements are also given. The classical Dvoretsky spherical sections theorem [5,13] states that l 2 is finitely represented in any infinite dimensional Ba...
متن کاملAn infinite Ramsey theorem and some Banach - space dichotomies
A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic nature which implies an interesting dichotomy for subspaces of Banach spaces. Combined with a result of Komorowski and TomczakJaegermann, this gives a positive...
متن کاملAn extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملOn Peano’s Theorem in Banach Spaces
We show that if X is a separable Banach space (or more generally a Banach with an infinite-dimensional separable quotient) then there is a continuous mapping f : X → X such that the autonomous differential equation x′ = f(x) has no solution at any point. In order to put our results into context, let us start by formulating the classical theorem of Peano. Theorem 1. (Peano) Let X = R, f : R×X → ...
متن کامل